var str: string = "你好1";
console.log(str);

